Self-Commuting Quantifiers

نویسنده

  • Dag Westerståhl
چکیده

We characterize the generalized quantifiers Q which satisfy the scheme QxQyφ ↔ QyQxφ, the so-called self-commuting quantifiers, or quantifiers with the Fubini property.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Commutative Locative Quantifiers for Multiplicative Linear Logic

The paper presents a solution to the technical problem posed by Girard after the introduction of Ludics of how to define proof nets with quantifiers that commute with multiplicatives. According to the principles of Ludics, the commuting quantifiers have a “locative” nature, in particular, quantified formulas are not defined modulo variable renaming. The solution is given by defining a new corre...

متن کامل

Self-commuting Lattice Polynomial Functions on Chains

We provide sufficient conditions for a lattice polynomial function to be self-commuting. We explicitly describe self-commuting polynomial functions on chains.

متن کامل

Healthscapes of self-quantification. Quantifying, knowing and improving one’s self: transforming health

Self-quantification practices are often described as knowledge-making, as the maxim of quantifiers “self-knowledge through numbers” makes clear. In this narrative, data is knowledge, knowledge is power, and knowing oneself is central to endeavours to improve health. This article complicates this story, investigating other health-related practices of self-quantification. Moving beyond “knowledge...

متن کامل

The Emergence of Quantifiers

Human natural languages use quantifiers as ways to designate the number of objects of a set. They include numerals, such as “three”, or circumscriptions, such as “a few”. The latter are not only underdetermined but also context dependent. We provide a cultural-evolution explanation for the emergence of such quantifiers, focusing in particular on the role of environmental constraints on strategy...

متن کامل

COMBINING FUZZY QUANTIFIERS AND NEAT OPERATORS FOR SOFT COMPUTING

This paper will introduce a new method to obtain the order weightsof the Ordered Weighted Averaging (OWA) operator. We will first show therelation between fuzzy quantifiers and neat OWA operators and then offer anew combination of them. Fuzzy quantifiers are applied for soft computingin modeling the optimism degree of the decision maker. In using neat operators,the ordering of the inputs is not...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Symb. Log.

دوره 61  شماره 

صفحات  -

تاریخ انتشار 1996